λ-resolution相关论文
建立了一种带模糊文字以及模糊算子的算子模糊逻辑系统，讨论了该逻辑系统逻辑性质．在算子模糊逻辑系统中，定义了λ-归结，证明了λ-归结......
本文在广义λ-归结方法中引进删除策略,讨论了λ-蕴涵的若干性质,并证明:以λ-蕴涵为基础的删除策略不破坏广义λ-归结方法的完备......
